equilibrium - scaling possible worlds "theory of necessity btath"
نویسندگان
چکیده
0
منابع مشابه
Efficient Constraints on Possible Worlds for Reasoning about Necessity
Modal logics offer natural, declarative representations for describing both the modular structure of logical specifications and the attitudes and behaviors of agents. The results of this paper further the goal of building practical, efficient reasoning systems using modal logics. The key problem in modal deduction is reasoning about the world in a model (or scope in a proof) at which an inferen...
متن کاملPossible Worlds
No formula binds me in this so-called opening address, but it is more usual for the speaker to trace the historical evolution of some part of that, branch of medicine of which he is a devotee. Looking back in recent years, I find that this field has been so often cultivated, albeit by a rotation of crops, that I feel it should lie fallow for a while. I might, in a popular address, recount the c...
متن کاملPossible Worlds II: Nonreductive Theories of Possible Worlds
I briefly discussed a view (see (Lewis, 1986)) which attempts to use (SC) to provide a theory of possible worlds aimed at using (SC) to reduce modality. This review sets aside such reductive theories of possible worlds, and concentrates instead on four leading nonreductive theories. Though some of these theories have reductive variants, the versions that figure most prominently in contemporary ...
متن کاملUnawareness with "possible" possible worlds
Logical structures for modeling agents’ reasoning about unawareness are presented where it can hold simultaneously that: (i) agents’ beliefs about whether they are fully aware need not be veracious with partitional information; and (ii) the agent is fully aware if and only if she is aware of a fixed domain of formulae. In light of (ii), all states are deemed “possible”. Semantics operate in two...
متن کاملQualities in Possible Worlds
The paper analyzes how and under which assumptions it is possible to compare (in a relationist setting and relatively to qualities) entities living in different worlds. We begin with a standard technique to construct quality kinds via an abstraction process. In the first case, the process is applied across all the possible worlds and we show that the resulting quality system has problematic con...
متن کاملAgnostic Possible Worlds Semantics
Working within standard classical higher-order logic, we propose a possible worlds semantics (PWS) which combines the simplicity of the familiar Montague semantics (MS), in which propositions are sets of worlds, with the fine-grainedness of the older but less well-known tractarian semantics (TS) of Wittgenstein and C.I. Lewis, wherein worlds are maximal consistent sets of propositions. The prop...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
حکمت و فلسفهجلد ۳، شماره ۱۱.۱۰، صفحات ۲۷-۳۷
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023